Uploads
Contact
/
Login
Upload
Search Results for 'K Axiom`uniquenessofidentityproofs'[22].coquandobservedthathisrulesadmit K ;hofmannandstreicherhaveshownthat K Doesnotfollowfromtheusualinductionprinciplefortheidentityrelation[9].weshowthat(avarianto'